(4/7) 1002 - Navigator 2.6

{{{ NavigatorPlugin 2.6
Source: Source code is in SVN with the tag Navigator-2.6
Announcement:

plugin patch 176: Navigator Popup Key Handling (Makarius)
Fix for bug 1796, show tool bar buttons correctly when view is toggled from full screen mode. This fix requires
at least jEdit 5.3pre1 since it requires the new ViewUpdate message state added in that version.

Requires Java 1.7
Requires jEdit 05.03.01.00
Required plugins:
Code2HTML 0.6 (code2html.Code2HTMLPlugin)
Common Controls 1.7.2 (CommonControlsPlugin)

Short Description: Tracks position changes, and provides "Back" and "Forward" actions similar to a web browser. Also provides a manual position stack with "Push" and "Pop" actions.

Long Description: <p>
Keeps track of caret position changes on a stack. Provides
"Back" and "Forward" actions for easy navigability to previous positions
in your history. Provides a popup history dialog to allow for
non-sequential jumps through the history. </p>
<p> Also provides a manual position stack, with actions for <b>Push</b>,
<b>Pop</b>, <b>Goto Top</b>, and <b>Swap Caret with Top</b>.
</p>

}}}

Comments